Facilitating "fuzzy to formal" requirements modelling

Requirements specification methods and techniques have hitherto mainly been concerned with promoting various representation formalisms for formally describing information systems, and discussing their expressive power. However, this approach concentrates only partially on the problem. A major issue is how to bridge the gap between ill-defined problem and application situations, and specification of the formal, precise definition of functional requirements of the information system. In this paper we outline an extended requirements and information modelling paradigm, based on a number of interrelated meta-models. These models reflect the enterprise and its objectives, its non-functional requirements on the system, re-use of existing specification components, and a model for managing and tracking the specification development process.